MAQ – A Bioinformatics Tool for Automatic Macroarray Analysis

MAQ – A Bioinformatics Tool for Automatic Macroarray Analysis

This article presents a prototype of an application for the analysis of cDNA/gene expression data and contribution for genome annotation from macroarrays. The application described here allows the quantification of a set of experiments with macroarrays of the same size. It generates html reports, easily shared, showing the expression of genes contained in each membrane and a global report compa...

Systemic Analysis of the mecA Gene Using a Bioinformatics Tool

NuFTA: A CASE Tool for Automatic Software Fault Tree Analysis

Software fault tree analysis (SFTA) [1] is widely used for analyzing software requiring high-reliability. In SFTA, experts predict failures of system through HAZOP (Hazard and Operability study) or FMEA (Failure Mode and Effects Analysis) and draw software fault trees about the failures. Quality and cost of the software fault tree, therefore, depend on knowledge and experience of the experts. T...

C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis

In this paper we present an improved logic for analysing authentication properties of cryptographic protocols, based on the SVO logic of Syverson and van Oorschot. Such logics are useful in electronic commerce, among other areas. We have constructed this logic in order to simplify automation, and we describe an implementation using the Isabelle theorem-proving system, and a GUI tool based on th...

Ganalyzer: A tool for automatic galaxy image analysis

We describe Ganalyzer, a model-based tool that can automatically analyze and classify galaxy images. Ganalyzer works by separating the galaxy pixels from the background pixels, finding the center and radius of the galaxy, generating the radial intensity plot, and then computing the slopes of the peaks detected in the radial intensity plot to measure the spirality of the galaxy and determine its...